De Morgan’s law and the Theory of Fields
نویسندگان
چکیده
We show that the classifying topos for the theory of fields does not satisfy De Morgan’s law, and we identify its largest dense De Morgan subtopos as the classifying topos for the theory of fields of nonzero characteristic which are algebraic over their prime fields.
منابع مشابه
Buckling Analysis of Embedded Nanosize FG Beams Based on a Refined Hyperbolic Shear Deformation Theory
In this study, the mechanical buckling response of refined hyperbolic shear deformable (FG) functionally graded nanobeams embedded in an elastic foundation is investigated based on the refined hyperbolic shear deformation theory. Material properties of the FG nanobeam change continuously in the thickness direction based on the power-law model. To capture small size effects, Eringen’s nonlocal e...
متن کامل***The Use of Metaphors in Poetry and Organization Theory: Toward De-Compartmentalization of Organizational Knowledge
Since the time of Western modernity, knowledge is compartmentalized into differentiated fields. This has however not mitigated the influence of natural science model of theorizing on social sciences. As a result, the discipline of organization theory has grown without the influence of abstract, ephemeral and metaphysical fields such as religion, history, mystic philosophy, arts and literature. ...
متن کاملVague Soft Expert Set and its Application in Decision Making
In this paper, we recall the concept of vague soft expert set theory and its operations. We define the AND and OR operations of vague soft expert set and some properties. We prove the De Morgan’s law on vague soft expert set. We then provide an illustrative example of vague soft expert set and its application in decision making.
متن کاملSpherically Symmetric Solutions in a New Braneworld Massive Gravity Theory
In this paper, a combination of the braneworld scenario and covariant de Rham-Gabadadze-Tolley (dRGT) massive Gravity theory is proposed. In this setup, the five-dimensional bulk graviton is considered to be massive. The five dimensional nonlinear ghost-free massive gravity theory affects the 3-brane dynamics and the gravitational potential on the brane. Following the solutions with spherical s...
متن کاملWitt rings of quadratically presentable fields
This paper introduces an approach to the axiomatic theory of quadratic forms based on {tmem{presentable}} partially ordered sets, that is partially ordered sets subject to additional conditions which amount to a strong form of local presentability. It turns out that the classical notion of the Witt ring of symmetric bilinear forms over a field makes sense in the context of {tmem{quadratically p...
متن کامل